#ifndef _HELLOWORLD_MAIN_H
#define _HELLOWORLD_MAIN_H
#include "include/core/reactor.h"
#include "_printer.h"
#include "_counter.h"
#ifndef TOP_LEVEL_PREAMBLE_861429042_H
#define TOP_LEVEL_PREAMBLE_861429042_H
#endif
typedef struct {
    struct self_base_t base;
#line 12 "/mnt/lf-workspace/Example1/src-gen/HelloWorld/_helloworld_main.h"
#line 13 "/mnt/lf-workspace/Example1/src-gen/HelloWorld/_helloworld_main.h"
} _helloworld_main_main_self_t;
_helloworld_main_main_self_t* new__helloworld_main();
#endif // _HELLOWORLD_MAIN_H
